\begin{tad}{DADOS}
\\
\hrule

\generadores
	\func{dados}{nat/d1, nat/d2}{dados}{}

\observadores
	\func{sonIguales}{dados}{bool}{}
	\func{Suma}{dados}{nat}{}

\axiomas{($\forall$ d1:nat, d2:nat)}
	\axioma{sonIguales(dados(d1,d2))}{ (d1 == d2)}
	\axioma{Suma(dados(d1,d2))}{d1+d2}
\end{tad}
